Process calculi - PDFSEARCH.IO - Document Search Engine

Process calculi
Results: 158

#	Item
71	Communication Interference in Mobile Boxed Ambients? Michele Bugliesi 1 , Silvia Crafa 1 , Massimo Merro 2 , and Vladimiro Sassone 3 Abstract. Boxed Ambients (BA) replace Mobile Ambients’open capability with communicat Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:57:37 Ambient calculus Mathematics Computer science Π-calculus Lambda calculus Mobile Membranes Process calculi Theoretical computer science Applied mathematics
72	Component-based Construction of Concurrent Systems with Active Components Kung-Kiu Lau and Ioannis Ntalamagkas School of Computer Science, The University of Manchester Manchester M13 9PL, UK {kung-kiu,i.ntalamagkas}@cs.m Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2009-07-17 12:04:09 Concurrent computing Process calculi Communicating sequential processes Wright Electrical connector TRS connector System Component-based software engineering Software engineering Software architecture Computing
73	The Spider Calculus Computing in Active Graphs Benjamin C. Pierce University of Pennsylvania Add to Reading List Source URL: dmwit.com Language: English - Date: 2010-08-11 18:23:14 Lambda calculus Process calculi Π-calculus Calculus Binary tree Combinatory logic Church encoding Graph FO Mathematics Theoretical computer science Applied mathematics
74	Secure Safe Ambients Michele Bugliesi Universita´ “Ca’ Foscari”, Venice Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:02:24 Algebra Valuation Symbol Mobile Membranes Natural deduction Process calculi Abstract algebra Ambient calculus
75	A Calculus of Bounded Capacities? F. Barbanera1 , M. Bugliesi2 , M. Dezani-Ciancaglini3 , and V. Sassone4 1 2 Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:50:58 Mobile Membranes Process calculi Ambient calculus Calculus
76	MC# 2.0: a language for concurrent distributed programming based on .NET Yury Serdyuk Program Systems Institute of Russian Academy of Sciences Russia), PereslavlZalessky Add to Reading List Source URL: www.mcsharp.net Language: English - Date: 2007-08-05 07:10:54 Inter-process communication Parallel computing Microsoft Research Application programming interfaces Process calculi Actor model Objective-C Message passing Message Passing Interface Computing Computer programming Software engineering
77	A CALCULUS FOR DISTRIBUTED MOBILE COMPUTING WITH STATIC RESOURCE ACCESS AND USAGE CONTROL By Mayuresh Kulkarni A Thesis Submitted to the Graduate Add to Reading List Source URL: wcl.cs.rpi.edu Language: English - Date: 2015-01-22 12:33:50 Computing Ambient calculus Π-calculus Process calculus Actor model Calculus Lambda calculus Communicating sequential processes Combinatory logic Process calculi Computer science Applied mathematics
78	Specifying and Checking Java using CSP? Michael M¨oller Universit¨ at Oldenburg, Fachbereich Informatik Postfach 2503, D–26111 Oldenburg, Germany Add to Reading List Source URL: www.cs.kun.nl Language: English - Date: 2002-05-29 03:53:26 Logic in computer science Formal methods Concurrent computing Cross-platform software Process calculi Communicating sequential processes Runtime verification Actor model Process calculus Computing Theoretical computer science Software engineering
79	Access control for mobile agents: the calculus of Boxed Ambients MICHELE BUGLIESI Universita` ‘Ca’ Foscari’, Venezia, Italy and GIUSEPPE CASTAGNA Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:01:59 Applied mathematics Computer science Computing Formal methods Functional languages Π-calculus Lambda calculus Q Access control Process calculi Theoretical computer science Ambient calculus
80	A formal basis for the MC# programming language (Extended Abstract) Yury Serdyuk Program Systems Institute of Russian Academy of Sciences, Pereslavl-Zalessky, Russia Add to Reading List Source URL: www.mcsharp.net Language: English - Date: 2007-08-05 07:34:46 Process calculi Inter-process communication Actor model Microsoft Research Parallel computing Join-calculus Polyphonic C sharp Message passing Objective-C Computing Concurrent computing Computer programming

UPDATE